简体版 English
تسجيل الدخول إنشاء حساب جديد

أداة الاستدلال المنطقي لحساب التفاضل والتكامل بالانجليزي

يبدو
"أداة الاستدلال المنطقي لحساب التفاضل والتكامل" أمثلة على
الترجمة إلى الإنجليزيةجوال إصدار
  • calculus ratiocinator
أمثلة
  • Hence the characteristic, calculus ratiocinator, and encyclopedia form three pillars of Leibniz's project.
    وبالتالي فإن الخاصية وأداة الاستدلال المنطقي لحساب التفاضل والتكامل, والموسوعة تشكل ثلاث ركائز لمشروع لايبنتز.
  • Hence the characteristic, calculus ratiocinator, and encyclopedia form three pillars of Leibniz's project.
    وبالتالي فإن الخاصية وأداة الاستدلال المنطقي لحساب التفاضل والتكامل, والموسوعة تشكل ثلاث ركائز لمشروع لايبنتز.
  • Stepped Reckoner Hartley Rogers saw a link between the two, defining the calculus ratiocinator as "an algorithm which, when applied to the symbols of any formula of the characteristica universalis, would determine whether or not that formula were true as a statement of science" (Hartley Rogers, Jr. 1963; pp. 934).
    الحاسب السريع اكتشف هارتلي روجرز رابطًا بين تعريف أداة الاستدلال المنطقي لحساب التفاضل والتكامل على أنها "خوارزمية عند تطبيقها على رموز أي صيغة من الخصائص العامة ستحدد ما إذا كانت هذه الصيغة صحيحة كبيان علمي أم لا" (هارتلي روجرز, 1963، ص 934).